package sketch.test;

import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;
import junit.framework.TestCase;

public class RandomTestSketchExample extends TestCase {

	@TestSketch
	public void testTreeMap() {
		treemap.TreeMap map1 = Values.randomCreate(treemap.TreeMap.class);
		map1.put(1);
		treemap.TreeMap map2 = new treemap.TreeMap();
		Values.randomMutate(map2, treemap.TreeMap.class, -100, 0, 12, 999);
		map2.put(map1.size());
		System.out.println("map2: " + map2 + ", map1: " + map1);
	}
	
	@TestSketch
	public void testPseduoProgram() {
		sketch.ounit.fuzz.PseduoProgram p1 = Values.randomCreate(sketch.ounit.fuzz.PseduoProgram.class, 999, "hello-world", 20);
		treemap.TreeMap map1 = Values.randomCreate(treemap.TreeMap.class);
		Values.randomMutate(p1, sketch.ounit.fuzz.PseduoProgram.class, map1, 20);
	}
	
}
